/* exectesttwo.c
 *	Very simple test that is launched from exectestmain.c. Being used to see if nachos can allocate two address
 *  spaces at once.
 */

#include "syscall.h"

int
main()
{
	Write("Launching Exec/Exit test 2\n", 28, ConsoleOutput);

	return 0;
    /* not reached */
}
